Floating-point versus Symbolic Computations in theQD-algorithm
نویسنده
چکیده
The convergence of columns in the univariate qd-algorithm to reciprocals of polar singularities of meromorphic functions has often proved to be very useful. Any q-column corresponding to a “simple pole of isolated modulus” converges to the reciprocal of the corresponding pole. By performing an equivalence transformation of the underlying corresponding continued fraction and programming the new qd-like scheme so as to compute algebraic expressions, the difference in convergence behaviour between the “simple pole” case and the “equal modulus” pole case of the floating-point algorithm is eliminated. c © 1997 Academic Press Limited
منابع مشابه
Exploiting Binary Floating-Point Representations for Constraint Filtering
Floating-point computations are quickly finding their way in the design of safetyand mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some indu...
متن کاملExploiting Binary Floating-Point Representations for Constraint Propagation
Floating-point computations are quickly finding their way in the design of safetyand mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some indu...
متن کاملTowards a Symbolic-Numeric Method to Compute Puiseux Series: The Modular Part
We have designed a new symbolic-numeric strategy to compute efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field. In essence, computations modulo a well chosen prime p are used to obtain the exact information required to guide floating point computations. In this paper, we detail the symbolic part of our algorithm : First of a...
متن کاملSymbolic execution of floating-point computations
Symbolic execution is a classical program testing technique which evaluates a selected control flow path with symbolic input data. A constraint solver can be used to enforce the satisfiability of the extracted path conditions as well as to derive test data. Whenever path conditions contain floating-point computations, a common strategy consists of using a constraint solver over the rationals or...
متن کاملAutomatic Verification of Finite Precision Implementations of Linear Controllers
We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 24 شماره
صفحات -
تاریخ انتشار 1997